观点 | 洪小文：人工智能简史之混沌初开
丹棱君有话说：1956 年，人工智能作为计算机的分支学科正式被提出。60 多年过去了，人工智能进入爆发增长期，不仅被中美等国家作为战略重点，还成为各个科技巨头纷纷布局的技术制高点和全球资本追逐的热点。人工智能产业化之前，首先是一门科学。那么纯粹从科学的角度来看，人工智能究竟是什么？它的能力边界在哪里？那些人工智能的先驱们有着怎样的远见卓识？有请微软全球资深副总裁、微软亚太研发集团主席兼微软亚洲研究院院长洪小文博士~
今天我的题目是“智能简史”（The Brief History of Intelligence），我想谈一下什么是人工智能，什么是人的智能。我想把 AI 赤裸裸地剖析在大家面前。
可能大家也听过不少关于 AI 的演讲，每个演讲人背后可能都有某些目的。我今天是抱着科学的目的，谈一下 AI 到底能做什么、今天能做什么、未来能做什么，没有保留地剖析给大家。
AI 的诞生
今天 AI 已经红到不能再红，包括美国政府、中国政府都非常重视，甚至都要制定政策和策略。过去这两三年可以说是 AI 的一个爆发点。当然也有不少关于 AI 的担忧。1950 年，《时代》杂志就已经提出了 AI 的某种威胁：“现代人已经适应了拥有超人肌肉的机器，不过拥有超人大脑的机器还是挺吓人的。设计这些机器的人试图否认他们正创造像他们自己一样拥有智慧的竞争者。”（ Time, January 23rd, 1950）
埃隆·马斯克和霍金
今天埃隆·马斯克说 AI 要毁灭人类；但是 1950 年这种议论就有了。1950 年的时候，二战结束才五年。当年做计算机是二战时为了造原子弹，每台计算机都要比一个房间大，全世界也不超过十台。这时就已经有人担忧，以后造的计算机比人类聪明怎么办？我们人类一直就对智能充满了期待，而且非常怕受到伤害。
返回来说，为什么 AI 会这么热？第一个理由很简单，没有人愿意天生愚蠢（Natural Stupidity），那就只能做人工智能（Artificial Intelligence）。这个略带玩笑，真正的理由其实是人类有智能（Human Intelligence）。人类之所以可以主宰万物、主宰地球甚至宇宙，靠的就是脑子。如果你看《人类简史》或者《未来简史》，尤其是《未来简史》提到的都是 AI，大数据。
那么，什么是 AI ？AI 严格说起来是 61 年前的 1956 年发生的，但是这个定义今天已经被打破了。因为我们学 AI 的人非常清楚，在学术界 AI 是有严格的定义的，但在今天，我可以说任何好的而且可以用计算机实现的事情都变成了 AI 。比如，只要你发明一个新的网络协议或者算法，大家觉得你的想法非常好，最终由计算机实现了，不就是人工智能么（人的智能最终通过计算机实现了）？所以，今天从公众角度，只要是一个好东西，能被机器实现，就是人工智能。
但我觉得，我们人有时也会被洗脑。今天 AI 领域炒得很热的一个东西是无人驾驶。大家觉得非常难。无人驾驶还被分成了一到五个水平，最高的一级就是没有司机。但是 1912 年，辛亥革命那一年，就有了人类的第一个飞机的自动驾驶（Autopilot）。我想，自动开飞机，不敢说一定比开车难，但是也不见得会比自动驾车简单。那为什么大家不说飞机的自动驾驶是 AI 呢？
AI 早期的英雄们
讲 AI 的历史，我们可以先从电脑的历史谈起。电脑是从哪里来的呢？今年是图灵奖 60 周年，前几年是图灵 100 年的诞辰。图灵当然是非常了不起。他提出一个假设（Church–Turing thesis），任何可以被计算的东西（用算法描述）就可以用图灵机去算。这个是很了不起的，虽然无法证明。所以图灵在那时就觉得，电脑应该可以模拟我们大脑里所有的想法（Computers can simulate any process of formal reasoning），也就是为什么在那个时候就有了图灵测试（Turing Test）。
AI 的开山鼻祖们
但是真正 AI 这个字眼，要等到 1956 年，在达特茅斯（在波士顿附近的一个很偏僻的小镇上，也是常青藤的学校之一）举行的一个夏季会议上提出的。当时有五个人参加，MIT 的 John McCarthy 和 Marvin Minsky，CMU 的 Allen Newell 和 Herbert Simon 以及 IBM 的 Arthur Samuel，这五个人就是 AI 的开山鼻祖。这五个人除了 Arthur Samuel 以外，全部拿了图灵奖。其中，Herbert Simon 在中国也很有名，他同时拿了图灵奖和诺贝尔经济学奖。他和 Allen Newell 两个人创立了卡耐基梅隆大学（CMU）。其实 CMU 计算机科学系就是这两个人为了做 AI 而成立的。当时，他们从美国军方的国防高等研究计划署（DARPA, The Defense Advanced Research）拿到了一些资助。
John McCarthy 是我的师祖，我的老师 Raj Reddy 是他的学生。John McCarthy 是真正把人工智能取名叫做 AI 的人。现在公认的 AI 之父有两种说法，大部分的说法是 John McCarthy；也有人说是图灵。John McCarthy 那时是在 MIT，后来到了斯坦福。所以为什么说 MIT，斯坦福，CMU 到今天都是 AI 的重镇，更别说当年了，因为当时就只有这三家，都和这些人有关。Marvin Minsky 1956 年时还在一个小公司做事，并不在 MIT，直到 1956 年开了达特茅斯会议之后，他才被 John McCarthy 邀请到了 MIT 。结果，John McCarthy 后来自己去了斯坦福成立了 AI 实验室。
达特茅斯会议以及当时的参会者
我自己是在 1984 年开始学习 AI，我到 CMU 也是因为 AI 。当时我读 AI 的论文的时候，基本上都读不懂，有几个原因。第一个，自己的英文不好，尤其是在当年的条件下；然后 AI 的论文里面通常没有数学公式，都是文字；然后这些文字里很多是认知心理学，我当时根本读不懂。后来才觉得读不懂是因为一些很简单的东西故意用很复杂的文字写出来。第二点是，这些文章里面很多是讲脑，我也读不懂。正是因为读不懂，也就觉得这个东西非常高深，所以一定要好好学习。
到目前为止，AI 总共有八个人，Marvin Minsky (1969)，John McCarthy (1971)，Allen Newell (1975)，Herb Simon (1975)，Edward Feigenbaum (1994)，Raj Reddy (1994)，Leslie Valiant（2010），Judea Pearl（2011）得了图灵奖，比例还是蛮高的。前四个人在 1975 年以前就得了图灵奖，1975 年以后图灵奖就不颁给 AI 了。一直到 1994 年，几乎 20 年以后，我老板和 Edward Feigenbaum 又得了图灵奖。最近的 Leslie Valiant，Judea Pearl 也得了图灵奖，所以 AI 又解冻了。所以从得图灵奖，也能看得出 AI 研究的冷热。
1990 年前的 AI
我当年学习的 AI，和今天是很不一样的。早期的 AI 都是在学习如何模拟人的智能行为，可以叫仿脑，这是它的主轴。我特地翻阅了下我大学的教科书，上面还有我的笔记。这些书在当年的 1980 年代是非常经典的，总共三本，分别由 MIT、CMU、斯坦福出的。这些书都已绝版，连亚马逊也找不到，非常珍贵。当年教的 AI 的这些东西，现在很多人都已经没有人能谈了。但其实最近 AI 的复兴，包括未来 AI 要如何往前走，都必须要回去研究这些东西，否则是绝对做不到人的智能的这个地步的。
当时研究什么呢？其一是知识表示（Knowledge Representation）。我们说隔行如隔山，比如学药学的、学医学的、学计算机的、学化学的，每一个行业都是不一样的，知识表示了之后还要满足约束条件求一个解（Constraint Satisfaction），人很多时候是在做这个事情。当年，搜索也是非常大的一支（包括 State-Space Representation，Pruning Strategy，深度搜索，广度搜索，A* 搜索， Beam Search，Game Tree Search， Alpha-Beta 搜索等），今天的互联网因此受益很多。虽然当时做这个时他们并没有想到互联网，当时想的是如何用搜索来实现智能。特别是包括 Game Tree Search，做计算机下棋这件事情，一直以来都是 AI 研究的。早期最早叫 Checkers，计算机很快打败了人；后来做象棋，后来做围棋，如今所有棋手都下不过机器人。
当时甚至有专门的编程语言，是为 AI 而设计的，做 AI 的人就要学这些语言。有一个叫 Lisp，还有一个叫 Prolog 。我想今天已经没有人听过这些东西了，但是在当年是不得了的，做 AI 都要学这些。
然后还研究什么呢？认知心理学，非常重要。我们讲 AI，很多都是认知。有一个词叫 Heruristics，今天已经没有人用这个词，其实还真是 AI 。因为 Heruristics 是在你没有数据的时候，或者是很少数据的时候，要用你的直觉来解决问题。
GPS 的创造者 Herbert Simon 和 Allen Newell
还有的研究是做认知的模型（Cognition Modeling），比如 GPS 。当然不是指 GPS 定位，而是一般求解器（General Problem Solver）。难道是什么问题都能解么？Allen Newell 和 Herbert Simon 得图灵奖就是因为 GPS 。而且你真的去读论文的话，很厚。它甚至一语两思，把这个东西转一下，去研究行为经济学也可以，所以 Herbert Simon 又拿到诺贝尔经济学奖。
还有一种模式叫产生并测试（Generate and Test），大概的意思就是我们所谓的大胆假设、小心求证。这些认知的模型看起来很神，基本上它就是把难的东西用数据来表示。但是人的确是这样做的，尤其是到后来，特别是语义、认知，真的很多时候都是在做产生并测试，这个模型本身是没错的。
接下来的一项研究要讲讲我老板。他拿图灵奖，一方面是因为他是语音大师（这个可能也有我的一点贡献）；另外一个导致他得图灵奖的叫做黑板理论。当年搞这些认知的模型的是非常重要的，甚至可以得图灵奖。
另外有研究涉及 Semantic（Frame）我们今天还在用。今天做 Siri，微软做小冰，小娜，或者做 Google 助手、百度度秘，用的是这个技术。
还有一个东西在当年非常红，叫做专家系统。而且最早期的专家系统很多东西应用在医疗，很有名的叫 MYCIN（Medical Diagnosis），就是传染疾病了，靠一些规则去诊断。
当然还有专门研究感知的，比如，我就是作语音和自然语言处理。那语言怎么做呢？就是有点像大家学英文的文法。但是文法都有例外，一有例外就搞不定，所以这些东西进展都不是那么好。
还有就是计算机视觉，今天也红得不得了，比如刷脸。可是在当年的计算机视觉和所谓的机器人，在当时是非常可怜的一个项目。当年都是只能研究玩具样的问题（Toy Domain），做的东西都是方块世界的理解（Block-World Understanding）：就是有一堆砖块，砖块是这样的状态，怎么样变成那样的状态，来回搬砖块。最多了不起了研究一个桌子。一辈子做计算机视觉，就研究椅子、研究桌子——还不是两个都研究，只研究一个。当年能做的只有这些东西。
然后是机器学习。机器学习大概是在 1980 年代开始，但是当时的学习也是研究人怎么学习，而且有一大堆机器学习。今天的机器学习变得很单一，就是深度神经网络一个，当年有很多种：比如有被告知和指令学习（Learning by Being Told & From Instruction）；有通过改正学习（Learning by Correcting Mistakes）；有基于训练神经网络的学习（感知器）等等。1990 年以前的 AI，和今天有很大的不一样。
本文系清华大学《脑科学与人工智能的对话》课程第一讲整理稿，转自微信公众号“知识分子”，原标题为“洪小文：以科学的方式赤裸裸地剖析 AI｜混沌初开”。
了解更多：
后台入驻微软小冰
如果你很萌，请跟她一决高下！